退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:面向自稳定分布式算法的形式化设计
P.J.A. Lentfert; P. J. A. Lentfert; P. J. A. Lentleft; S. D. Swierstra;
机译:分布式自稳定算法简介
机译:通过胶凝自动机自稳定分布式算法
机译:萨马拉航天器:设计和开发自稳定,自动旋转的分布式传感系统。
机译:cOSPREY:大规模计算蛋白质设计的基于云的分布式算法
机译:迈向自稳定分布式算法的正式设计
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
机译:用于使用自动顺序对等检查进行浮点除法和/或平方根算法的分层形式硬件验证的系统,方法和计算机程序产品
机译:基于形式结构的大规模资源调度优化算法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。